<?php
class a {
  function foo() {
    echo "foo()\n";
  }
}

class c { }
